#no invariante